منابع مشابه
Distributed Explicit Fair Cycle Detection: Set Based Approach Distributed Explicit Fair Cycle Detection (set Based Approach)
The fair cycle detection problem is at the heart of both LTL and fair CTL model checking. This paper presents a new distributed scalable algorithm for explicit fair cycle detection. Our method combines the simplicity of the distribution of explicitly presented data structure and the features of symbolic algorithm allowing for an efcient parallelisation. If a fair cycle (i.e. counterexample) is ...
متن کاملExpo-rational B-splines Expo-rational B-splines Expo-rational B-splines
A new type of B-spline the expo-rational B-spline is introduced. The heuristic motivation for its introduction comes from important similarities in several celebrated mathematical constructions originating in approximation theory, differential geometry and operator theory. The main result of the paper is the derivation of an Edgeworth and a steepest-descent/saddlepoint asymptotic expansion whic...
متن کاملShapp Pledges Financial Reforms at Inauguration
A West Philadelphia community action group has requested that a site at 42nd and Market Streets "be purchased by the University and sold to the community at a minimum fee" for use as an "architectural workshop." John Petitj president of the West Powelton Concerned Community Council (WPdCC), last week wrote a letter to President Meyerson asking for the workshop, which would be used in training l...
متن کاملFair Private Set Intersection with a Semi-trusted Arbiter
A private set intersection (PSI) protocol allows two parties to compute the intersection of their input sets privately. Most of the previous PSI protocols only output the result to one party and the other party gets nothing from running the protocols. However, a mutual PSI protocol in which both parties can get the output is highly desirable in many applications. A major obstacle in designing a...
متن کاملDistributed Explicit Fair Cycle Detection (Set Based Approach)
The fair cycle detection problem is at the heart of both LTL and fair CTL model checking. This paper presents a new distributed scalable algorithm for explicit fair cycle detection. Our method combines the simplicity of the distribution of explicitly presented data structure and the features of symbolic algorithm allowing for an efficient parallelisation. If a fair cycle (i.e. counterexample) i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SET EXPO PROCEEDINGS
سال: 2016
ISSN: 2447-0481,2447-049X
DOI: 10.18580/setep.2016.15